first-order predicate calculus
un. 一阶谓词演算
[网络] 第一阶述语运算
热门查询
- rasta abbr. 拉斯特法里派的信徒（等于Rastafarian）；崇信拉斯特法里的
- hellhound n. 地狱之犬；恶鬼
- singed 烧毛
- bedlinen n. 床用织物
- Cockburn [人名] [苏格兰人姓氏] 科伯恩住所名称，来源于古英语，含义是“公鸡+溪流”(cock+stream); [地名] [澳大利亚] 科克本
- pressurise vt. 对…施加压力; 维持（某物内部的）大气压力水平，给…增压 n. 压力输送; 挤压; 气密
- sunflower n. 向日葵
- miscalculate vt. 算错；估计错误 vi. 算错；判断错误
- ferrous adj. [化学] 亚铁的；铁的，含铁的
- nullify vt. 使无效，作废；取消
- fraye n. (Fraye)人名；(法)弗雷
- truant n. 旷课者；懒惰的人 adj. 旷课的；偷懒的 vi. 逃学；偷懒，逃避责任
- refuel vt. 补给燃料 vi. 重新得到燃料
- misleading adj. 令人误解的；引入歧途的 v. 给…带错路；把…引入歧途（mislead的ing形式）
- loach n. 泥鳅
- loyalist n. 忠诚的人；反对独立者
- lifelessness n. 枯燥无味）；无生命（死
- backwater n. 回水；死水；停滞不进的状态或地方
- farm n. 农场；农家；畜牧场 vt. 养殖；耕种；佃出（土地） vi. 种田，务农；经营农场
- disdainfully adv. 轻蔑地；倨傲地
考试词汇表
- genus ramalinas
- genus rangifers
- genus raphanuss
- genus ratibidas
- genus ravenalas
- genus roccellas
- genus roridulas
- genus rupicolas
- genus rynchopss
- genus rypticuss
- genus sabbatias
- genus sadlerias
- genus salvinias
- genus sambucuss
- genus saniculas
- genus santalums
- genus sapinduss
- genus sarcodess
- genus sardinias
- genus satureias
